首页> 外文OA文献 >INDEXED INDUCTION AND COINDUCTION, FIBRATIONALLY

【2h】

INDEXED INDUCTION AND COINDUCTION, FIBRATIONALLY

机译：索引感应和共同，激励

代理获取

本网站仅为用户提供外文OA文献查询和代理获取服务，本网站没有原文。下单后我们将采用程序或人工为您竭诚获取高质量的原文，但由于OA文献来源多样且变更频繁，仍可能出现获取不到、文献不完整或与标题不符等情况，如果获取不到我们将提供退款服务。请知悉。

页面导航

著录项
引文网络
相似文献
相关主题

著录项

作者
Neil Ghani A; Patricia Johann B; Clément Fumex C;
展开▼
作者单位

展开▼
年度 2012
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Indexed Induction and Coinduction, Fibrationally [J] . NeilGhani, PatriciaJohann, ClementFumex Logical Methods in Computer Science . 2013,第3期

机译：索引归纳法和共归纳法
2. A Fibrational Method of Indexed Coinductive Data Types [J] . Miao Decheng, Wang Chaoyang, Liu Xinsheng, Mathematical research letters: MRL . 2020,第2期

机译：索引配合数据类型的纤维方法
3. A Fibrational Method of Indexed Coinductive Data Types [J] . Miao Decheng, Wang Chaoyang, Liu Xinsheng, Technical Gazette . 2020,第2期

机译：索引配合数据类型的纤维方法
4. Indexed Induction and Coinduction, Fibrationally [C] . Clement Fumex, Neil Ghani, Patricia Johann Algebra and coalgebra in computer science . 2011

机译：索引归纳法和共归纳法
5. Predicate answer set programming with coinduction. [D] . Min, Richard Kyunglib. 2009

机译：谓词答案集编程与共归。
6. Controlled Vocabularies Indexing and Medical Language Processing. Expert Indexing Systems: Research on Interactive Knowledge-Based Indexing: The MedIndEx Prototype [O] . Susanne M. Humphrey 1989

机译：受控词汇表索引编制和医学语言处理。专家索引系统：基于交互式知识的索引的研究：MedIndEx原型
7. Indexed Induction and Coinduction, Fibrationally [O] . Ghani, Neil, Johann, Patricia, Fumex, Clement 2013

机译：折射率归纳和共同诱导

代理获取

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有

客服微信
服务号